Constructive set theory - PDFSEARCH.IO - Document Search Engine

Constructive set theory
Results: 37

#	Item
21	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
22	Notes on Constructive Set Theory P. Aczel and M. Rathjen REPORT No. 40, [removed]ISSN 1103-467X ISRN IML-R[removed]SE Add to Reading List Source URL: www.mittag-leffler.se Language: Vietnamese - Date: 2013-02-15 06:28:02
23	CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-10 16:24:56 Functions and mappings Model theory Constructive set theory Intuitionism Mathematical constructivism Interpretation Function Constructible universe Μ operator Mathematics Mathematical logic Logic
24	Outer measure and utility Mark Voorneveld and J¨ orgen W. Weibull1 Department of Economics, Stockholm School of Economics, Sweden Abstract. Starting from an intuitive and constructive approach for countable domains, an Add to Reading List Source URL: pzp.hhs.se Language: English - Date: 2011-04-14 08:19:10 General topology Order theory Metric geometry Calculus Continuous function Order topology Metric Preference Open set Mathematics Mathematical analysis Topology
25	The Bulletin of Symbolic Logic Volume 13, Number 3, Sept[removed]RELATING FIRST-ORDER SET THEORIES AND ELEMENTARY TOPOSES Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Model theory Z notation Predicate logic Sheaf theory Topos Axiom schema of replacement Constructive set theory First-order logic Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics
26	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory
27	Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed] Add to Reading List Source URL: isaim2008.unl.edu Language: English - Date: 2010-08-24 11:06:50 Modal logic Fuzzy logic Philosophical logic Non-classical logic Axiom BL Epistemic modal logic S Constructive set theory Logic Mathematical logic Mathematics
28	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic
29	FORMALIZED MATHEMATICS Number 1, January 1990 Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2010-06-24 21:10:08 Constructible universe Z notation Boolean algebra Tarski–Grothendieck set theory Constructive set theory Mathematical logic Mathematics Logic
30	A Unified Approach to Algebraic Set Theory Benno van den Berg Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-03-21 06:42:22 Model theory Mathematical constructivism Constructive set theory Intuitionism Topos First-order logic Interpretation Sheaf Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics

UPDATE